1. Automata Theory and its Applications
پدیدآورنده : \ Bakhadyr Khoussainov, Anil Nerode
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Information theory,کامپیوتر,نظریه اطلاعات,a03,a04,a03,a04
رده :
E-Book
,
2. Automata Theory and its Applications
پدیدآورنده : by Bakhadyr Khoussainov, Anil Nerode.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information theory.
3. Automata theory and its applications
پدیدآورنده : / Bakhadyr Khoussainov, Anil Nerode
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Machine theory
رده :
QA267
.
K56
2010
4. Automata theory and its applications
پدیدآورنده : Bakhadyr Khoussainov, Anil Nerode,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Machine theory
رده :
QA
.
K56
267
2001
5. Combinatorial functors
پدیدآورنده : / J. N. Crossley, Anil Nerode
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Functor theory,Combinatorial analyis
رده :
512
.
55
C951
6. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
7. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
پدیدآورنده : edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
63
.
I5
1991
8. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
9. Logic for applications
پدیدآورنده : Nerode, Anil, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
N47
10. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
رده :
QA
76
.
9
.
M35
.
N47
1997
11. Logic for applications
پدیدآورنده : / Anil Nerode, Richard A. Shore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
12. Logic for applications /
پدیدآورنده : Anil Nerode, Richard A. Shore
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
13. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
14. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
15. Logical Foundations of Computer Science
پدیدآورنده : / Sergei Artemov, Anil Nerode
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
16. Logical foundations of computer science :
پدیدآورنده : Sergei Artemov, Anil Nerode (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Computer science, Congresses
17. Logical foundations of computer science
پدیدآورنده : Sergei Artemov, Anil Nerode (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Computer science, Congresses
رده :
QA75
.
5
.
L43
2013
18. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
19. Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns
پدیدآورنده : Sergei Adian, Anil Nerode )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1234
20. Recursion theory
پدیدآورنده : edited by Anil Nerode and Richard A. Shore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42
